Published in: LIPIcs, Volume 268, 14th International Conference on Interactive Theorem Proving (ITP 2023)
Beniamino Accattoli, Horace Blanc, and Claudio Sacerdoti Coen. Formalizing Functions as Processes. In 14th International Conference on Interactive Theorem Proving (ITP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 268, pp. 5:1-5:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{accattoli_et_al:LIPIcs.ITP.2023.5, author = {Accattoli, Beniamino and Blanc, Horace and Sacerdoti Coen, Claudio}, title = {{Formalizing Functions as Processes}}, booktitle = {14th International Conference on Interactive Theorem Proving (ITP 2023)}, pages = {5:1--5:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-284-6}, ISSN = {1868-8969}, year = {2023}, volume = {268}, editor = {Naumowicz, Adam and Thiemann, Ren\'{e}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2023.5}, URN = {urn:nbn:de:0030-drops-183800}, doi = {10.4230/LIPIcs.ITP.2023.5}, annote = {Keywords: Lambda calculus, pi calculus, proof assistants, binders, Abella} }
Published in: LIPIcs, Volume 15, 23rd International Conference on Rewriting Techniques and Applications (RTA'12) (2012)
Osama Al-Hassani, Quratul-ain Mahesar, Claudio Sacerdoti Coen, and Volker Sorge. A Term Rewriting System for Kuratowski's Closure-Complement Problem. In 23rd International Conference on Rewriting Techniques and Applications (RTA'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 15, pp. 38-52, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{alhassani_et_al:LIPIcs.RTA.2012.38, author = {Al-Hassani, Osama and Mahesar, Quratul-ain and Sacerdoti Coen, Claudio and Sorge, Volker}, title = {{A Term Rewriting System for Kuratowski's Closure-Complement Problem}}, booktitle = {23rd International Conference on Rewriting Techniques and Applications (RTA'12)}, pages = {38--52}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-38-5}, ISSN = {1868-8969}, year = {2012}, volume = {15}, editor = {Tiwari, Ashish}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2012.38}, URN = {urn:nbn:de:0030-drops-34838}, doi = {10.4230/LIPIcs.RTA.2012.38}, annote = {Keywords: Kuratowski's closure-complement problem, Rewriting system} }
Feedback for Dagstuhl Publishing